Pesky Essays on the Logic of Philosophy by Kenneth G. Lucey

Author:Kenneth G. Lucey
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

Having first introduced the machinery for class logic, Quine then says:Now the problem is to write ‘x is an ancestor of y’ using only ‘F’ and our various logical symbols. (p. 238)

‘Fxy’ here translates ‘x is a parent of y’. The translation that Quine gives of ‘x is the ancestor of y’ is more of an explication or rational reconstruction (in Carnap’s sense) than a straightforward translation. For Quine’s translation of this relational term tells us something which need not at all have been obvious to one that understood the definiendum. His translation is again that: x is an ancestor of y if and only if x is a member of every class which contains y and all parents of members. The symbolic version of this is:

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.